Spatial birth–death swap chains
نویسندگان
چکیده
منابع مشابه
Swap logic
We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ability to invert pairs of related elements in the domain while traversing an edge of the accessibility relation. SL is very expressive: it fails to have the finite and the tree ...
متن کاملSpatial Mixing and Systematic Scan Markov chains
We consider spin systems on the integer lattice graph Z with nearest-neighbor interactions. We develop a combinatorial framework for establishing that exponential decay with distance of spin correlations, specifically the strong spatial mixing condition (SSM), implies rapid mixing of a large class of Markov chains. As a first application of our method we prove that SSM implies O(log n) mixing o...
متن کاملSpatial Mixing and Non-local Markov chains
We consider spin systems with nearest-neighbor interactions on an n-vertex d-dimensional cube of the integer lattice graph Z. We study the e ects that exponential decay with distance of spin correlations, speci cally the strong spatial mixing condition (SSM), has on the rate of convergence to equilibrium distribution of non-local Markov chains. We prove that SSM implies O(log n) mixing of a blo...
متن کاملSwap Bribery
In voting theory, bribery is a form of manipulative behavior in which an external actor (the briber) offers to pay the voters to change their votes in order to get her preferred candidate elected. We investigate a model of bribery where the price of each vote depends on the amount of change that the voter is asked to implement. Specifically, in our model the briber can change a voter’s preferen...
متن کاملPhysical Node 1 VAS Memory Swap Persistent Swap Persistent
In large persistent object systems it is possible to have many million (or eventually billion or more) objects in existence. These objects must be managed to enable their eeective and convenient use. At the heart of this management problem is the structure which maintains information about the objects and provides services on the objects using the information it maintains. We refer to this stru...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bernoulli
سال: 2012
ISSN: 1350-7265
DOI: 10.3150/10-bej350